수천 개의 변수를 가진 시스템을 풀어야 하는 도전을 상상해 보세요. 계수들의 혼란스러운 격자에서 진실을 어떻게 추출할 수 있을까요? 가우스 소거법 이는 우리가 사용하는 기본 도구로, 변수들을 체계적으로 정리하여 복잡한 시스템을 역대입을 통해 하나씩 해결할 수 있는 명확한 삼각형 형태로 바꾸는 과정입니다.
선형 시스템의 구조
수치 해석에서는 $n$개의 선형 방정식 시스템을 행렬 곱 $Ax = \mathbf{b}$로 표현합니다. 여기서 $A$는 $n \times n$ 계수 행렬이고, $x$는 미지수 벡터이며, $\mathbf{b}$는 상수 벡터입니다. 효율적인 연산을 위해 우리는 증강 행렬 $[A, \mathbf{b}]$을 사용합니다.
핵심 목표
기본 행 연산(ERO)의 일련의 절차를 통해 시스템 상태를 동등한 상삼각 형태 $U$로 변환하려고 합니다.
$$[A, \mathbf{b}] \rightarrow [U, \mathbf{b}']$$
여기서 대각선 아래의 모든 항목 $u_{ii}$는 0이 됩니다.
기본 행 연산(ERO)
해의 집합의 무결성은 세 가지 불변을 유지하는 조작에 달려 있습니다:
- 교환: $(E_i) \leftrightarrow (E_j)$ — 더 좋은 피벗을 갖도록 행을 교환합니다.
- 스케일링: $(\lambda E_i) \rightarrow (E_i)$ — 행을 0이 아닌 스칼라로 곱하기.
- 치환: $(E_i + \lambda E_j) \rightarrow (E_i)$ — 소거의 핵심입니다. 특히, $m_{j1} = a_{j1}/a_{11}$라는 배수를 사용하여 $(E_j - m_{j1} E_1) \rightarrow (E_j)$를 계산합니다.
행렬의 구조와 성질
정리 6.8에 따르면, 행렬 연산은 특정한 대수 법칙을 따릅니다. 예를 들어 결합법칙 ($A(BC) = (AB)C$), 그러나 유명하게도 교환법칙 ($AB \neq BA$ 일반적으로 성립하지 않음). 특별한 구조, 예를 들어 대칭 행렬 ($A = A^t$)과 단위 행렬 ($I_n$)를 인식하면 $LDL^t$ 같은 전문화된 빠른 인수분해 방법을 사용할 수 있습니다.
🎯 핵심 원리: 불변성
ERO는 각 연산이 완전히 되돌릴 수 있기 때문에 해의 집합을 변경하지 않습니다. 증강 행렬에 이러한 연산을 적용함으로써 계수와 목표 상수 사이의 논리적 연결을 잃지 않고 동시에 모든 방정식을 풀 수 있습니다.